typescript satisfies vs as